منابع مشابه
Toward a computational photobiology*
In this paper, we discuss the results of our recent studies on the molecular mechanism, which stand at the basis of the photochemical processes occurring in photobiological systems. These results are obtained using modern, robust, and fairly accurate high-level quantum chemical methods.
متن کاملSteps Toward a Computational
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملHorizons of Hermeneutics: Intercultural Hermeneutics in a Globalizing World
Starting from the often-used metaphor of the “horizon of experience” this article discusses three different types of intercultural hermeneutics, which respectively conceive hermeneutic interpretation as a widening of horizons, a fusion of horizons, and a dissemination of horizons. It is argued that these subsequent stages in the history of hermeneutics have their origin in—but are not fully res...
متن کاملSteps Toward a Computational Metaphysics
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملToward a computational immigration assistant
In the face of global change and impending limits on various resources, the need for people to move across borders is likely to increase. Facilitating mobility could enable people to access resources and lifestyles more suited to their abilities, and thereby reduce suffering for both humans and other species. This paper proposes the need for computational support to facilitate immigration decis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Big Data & Society
سال: 2015
ISSN: 2053-9517,2053-9517
DOI: 10.1177/2053951715613809